COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%business letter outline to use with buslet.tex macros
C00005 ENDMK
C⊗;
%business letter outline to use with buslet.tex macros
\magnification =\magstephalf
\input buslet[1,ra]
\def\disleft#1:#2:#3\par{\par\hangindent#1\noindent
			 \hbox to #1{#2 \hfill \hskip .1em}\ignorespaces#3\par}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\ignorespaces#3 \par}
\def\adx#1:#2\par{\par\halign{\hskip #1##\hfill\cr #2}\par}


\jmclet

\vskip 30pt
	
\address 
Professor B.McA. Sayers           
Imperial College of Science and Technology
Department of Computing       
180 Queen's Gate                          
London SW7 2BZ
\body
Dear Professor Sayers:

	I have no hesitation in supporting the promotion of Keith Clark
to the rank of Reader.

	Clark is regarded as one of the outstanding researchers in
logic programming by all the logic programming people I have encountered.

	From my own knowledge, I can say that his work on predicate
completion puts a solid foundation under the non-monotonic aspects
of logic programming.  In my visits to Imperial College and in his
visits to Stanford, I have always found him able to enlighten me
about any questions of logic programming I had.

	I realize this reference is not as strong on detail as it
should be, but that is my fault.  Logic programming is on the border
of my interests, and I am not well acquainted with the state of
its literature.

	My other excuse is that you asked for this in early January,
and that's what it is.

\closing
Sincerely,  
John McCarthy    
Professor of Computer Science
\annotations
JMC/ra 
%\smallskip
%Enclosure
%\smallskip
%cc: Matthew Kahn
%\smallskip
%\ps
%P.S.: whatever you wish to say here

\endletter

\makelabel
\end